3.1 The Extreme Value Theorem